$\forall$$g$:IGroup, $a$, $b$, $c$:$\mid$$g$$\mid$. ($a$ = $b$) $\Leftarrow\!\Rightarrow$ (($c$ $\ast$ $a$) = ($c$ $\ast$ $b$) $\in$ $\mid$$g$$\mid$)